11

A congruence relation for sPBC

Year:
2008
Language:
english
File:
PDF, 1.14 MB
english, 2008
12

Decidability and complexity of Petri nets with unordered data

Year:
2011
Language:
english
File:
PDF, 412 KB
english, 2011